Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
421	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Category theory Functional programming F-algebra F-coalgebra Functor Initial algebra Monad Equivalence of categories Coalgebra Stoneech compactification
422	The Implementation of equal? and eq? in the MT Virtual Machine Add to Reading List Source URL: con.racket-lang.org Language: English - Date: 2014-03-07 23:24:47 Recursion Theoretical computer science Mathematical logic Computability theory Programming idioms Infinite loop Functional programming Algorithm Structural induction
423	Partial Evaluation of Functional Logic Programs in Rewriting-based Languages L. Lafave March 1997 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Programming idioms Mathematical logic Elementary mathematics Recursion Computability theory Escher Monad Rewriting Term Path ordering Fold Function
424	02157 Functional Programming - Tagged values and Higher-order list functions Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:19:01 Data types Type theory Functions and mappings Curves Enumerated type Technical University of Denmark Function Triangle Constructor Circle C++ classes Standard ML
425	Dynamic Aerospace Vehicle Exchange Markup Language (DAVE-ML) Reference Version Add to Reading List Source URL: daveml.org Language: English - Date: 2011-03-31 09:24:39 Markup languages Technical communication HTML Functional languages Procedural programming languages MathML Document type definition HTML element Mathematical model ML
426	The Functional Web A Chat Application in Lift David Pollak • Lift Web Framework Steve Vinoski • Verivue Add to Reading List Source URL: steve.vinoski.net Language: English - Date: 2010-05-04 21:27:07 Functional languages Concurrent programming languages Web development Scripting languages Ajax Scala Erlang Comet Lift Push technology JavaScript Internet Relay Chat
427	Eric Holk 1161 Meadow Ct Bloomington, INE-mail: Web: http://www.cs.indiana.edu/~eholk/ Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2015-05-05 11:07:44 Functional languages Concurrent programming languages Programming paradigms Notation Programming language Rust Declarative programming OBJ
428	The Functional Web Editor: Steve Vinoski • ClojureScript: Functional Programming for Add to Reading List Source URL: steve.vinoski.net Language: English - Date: 2011-11-05 15:26:59 Functional languages Scripting languages JavaScript libraries Web programming Google Closure Tools Web development software Clojure JavaScript Java virtual machine Lisp Functional programming Document Object Model
429	FFTW Ada Version 2.0 α1 User and Reference Manual FFTW Ada is an Ada 95 binding to the FFTW library written at MIT by Matteo Frigo and Steven G. Johnson. FFTW is a library for computing the Fast Fourier transform, which Add to Reading List Source URL: privatewww.essex.ac.uk Language: English - Date: 2004-08-05 11:30:56 Object-oriented programming languages Procedural programming languages FFTW Digital signal processing Functional languages Ada Fast Fourier transform Nim GNAT Objective-C D
430	Monday 16 September 9:00 Invited talk (chair: Tom Schrijvers) Add to Reading List Source URL: users.ugent.be Language: English - Date: 2014-09-18 05:58:35 Programming paradigms Logic in computer science Constraint programming Prolog Constraint Handling Rules Abstract machine Operational semantics Abstract data type Semantics Functional programming Logic programming Coq

UPDATE